((v4 v3 0) (v2 v1 4) (v3 v2 9))
40
((v2 v4))